Rules Of Standard Deduction